DITL_146_TruthTableDITL.txt
Items: (5 entries)
  0:
    Bounds: x1=410, y1=56, x2=468, y2=76
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=330, y1=56, x2=388, y2=76
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=160, y1=2, x2=378, y2=19
    Type: -120
    Info: 'Enter Statement For Truth Table:'
  3:
    Bounds: x1=20, y1=24, x2=470, y2=40
    Type: 16
    Info: ''
  4:
    Bounds: x1=42, y1=48, x2=74, y2=70
    Type: -128
    Info: ''

DITL_145_LogicalFalsityDITL.txt
Items: (5 entries)
  0:
    Bounds: x1=410, y1=54, x2=468, y2=74
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=332, y1=54, x2=390, y2=74
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=126, y1=2, x2=417, y2=19
    Type: -120
    Info: 'Enter Statement To Test For Logical Falsity:'
  3:
    Bounds: x1=20, y1=24, x2=470, y2=40
    Type: 16
    Info: ''
  4:
    Bounds: x1=42, y1=48, x2=74, y2=70
    Type: -128
    Info: ''

DITL_144_LogicalTruthDITL.txt
Items: (5 entries)
  0:
    Bounds: x1=410, y1=54, x2=468, y2=74
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=332, y1=54, x2=390, y2=74
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=134, y1=0, x2=414, y2=17
    Type: -120
    Info: 'Enter Statement To Test For Logical Truth:'
  3:
    Bounds: x1=20, y1=24, x2=470, y2=40
    Type: 16
    Info: ''
  4:
    Bounds: x1=42, y1=48, x2=74, y2=70
    Type: -128
    Info: ''

DITL_143_EquivalenceDITL.txt
Items: (6 entries)
  0:
    Bounds: x1=410, y1=78, x2=468, y2=98
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=332, y1=78, x2=390, y2=98
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=110, y1=0, x2=440, y2=17
    Type: -120
    Info: 'Enter Statements To Test For Logical Equivalence:'
  3:
    Bounds: x1=32, y1=24, x2=470, y2=40
    Type: 16
    Info: ''
  4:
    Bounds: x1=32, y1=48, x2=470, y2=64
    Type: 16
    Info: ''
  5:
    Bounds: x1=40, y1=72, x2=72, y2=104
    Type: -128
    Info: ''

DITL_142_ValidityDITL.txt
Items: (16 entries)
  0:
    Bounds: x1=392, y1=220, x2=450, y2=240
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=314, y1=220, x2=372, y2=240
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=110, y1=0, x2=440, y2=17
    Type: -120
    Info: 'Enter Premises Of Argument To Test For Validity:'
  3:
    Bounds: x1=32, y1=24, x2=448, y2=40
    Type: 16
    Info: ''
  4:
    Bounds: x1=32, y1=48, x2=448, y2=64
    Type: 16
    Info: ''
  5:
    Bounds: x1=32, y1=72, x2=448, y2=88
    Type: 16
    Info: ''
  6:
    Bounds: x1=32, y1=96, x2=448, y2=112
    Type: 16
    Info: ''
  7:
    Bounds: x1=32, y1=120, x2=448, y2=136
    Type: 16
    Info: ''
  8:
    Bounds: x1=32, y1=144, x2=448, y2=160
    Type: 16
    Info: ''
  9:
    Bounds: x1=32, y1=192, x2=448, y2=208
    Type: 16
    Info: ''
  10:
    Bounds: x1=456, y1=24, x2=488, y2=56
    Type: 32
    Info: ' ‚'
  11:
    Bounds: x1=456, y1=60, x2=488, y2=92
    Type: 32
    Info: ' €'
  12:
    Bounds: x1=456, y1=140, x2=488, y2=172
    Type: 32
    Info: ' '
  13:
    Bounds: x1=456, y1=176, x2=488, y2=208
    Type: 32
    Info: ' ƒ'
  14:
    Bounds: x1=32, y1=216, x2=64, y2=248
    Type: -128
    Info: ''
  15:
    Bounds: x1=108, y1=166, x2=448, y2=184
    Type: -120
    Info: 'Enter Conclusion Of Argument To Test For Validity:'

DITL_141_ConsistencyDITL.txt
Items: (16 entries)
  0:
    Bounds: x1=392, y1=220, x2=450, y2=240
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=314, y1=220, x2=372, y2=240
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=132, y1=0, x2=405, y2=18
    Type: -120
    Info: 'Enter Premises To Test For Satisfiability:'
  3:
    Bounds: x1=32, y1=24, x2=448, y2=40
    Type: 16
    Info: ''
  4:
    Bounds: x1=32, y1=48, x2=448, y2=64
    Type: 16
    Info: ''
  5:
    Bounds: x1=32, y1=72, x2=448, y2=88
    Type: 16
    Info: ''
  6:
    Bounds: x1=32, y1=96, x2=448, y2=112
    Type: 16
    Info: ''
  7:
    Bounds: x1=32, y1=120, x2=448, y2=136
    Type: 16
    Info: ''
  8:
    Bounds: x1=32, y1=144, x2=448, y2=160
    Type: 16
    Info: ''
  9:
    Bounds: x1=32, y1=168, x2=448, y2=184
    Type: 16
    Info: ''
  10:
    Bounds: x1=32, y1=192, x2=448, y2=208
    Type: 16
    Info: ''
  11:
    Bounds: x1=456, y1=24, x2=488, y2=56
    Type: 32
    Info: ' ‚'
  12:
    Bounds: x1=456, y1=60, x2=488, y2=92
    Type: 32
    Info: ' €'
  13:
    Bounds: x1=456, y1=140, x2=488, y2=172
    Type: 32
    Info: ' '
  14:
    Bounds: x1=456, y1=176, x2=488, y2=208
    Type: 32
    Info: ' ƒ'
  15:
    Bounds: x1=4, y1=212, x2=36, y2=244
    Type: -128
    Info: ''

DITL_140_NewProblemDITL.txt
Items: (10 entries)
  0:
    Bounds: x1=164, y1=116, x2=222, y2=136
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=164, y1=148, x2=222, y2=168
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=68, y1=8, x2=208, y2=24
    Type: -120
    Info: 'Select Problem Type:'
  3:
    Bounds: x1=16, y1=32, x2=118, y2=50
    Type: 6
    Info: 'Satisfiability'
  4:
    Bounds: x1=16, y1=56, x2=98, y2=75
    Type: 6
    Info: 'Validity'
  5:
    Bounds: x1=16, y1=80, x2=122, y2=98
    Type: 6
    Info: 'Equivalence'
  6:
    Bounds: x1=16, y1=104, x2=123, y2=121
    Type: 6
    Info: 'Logical Truth'
  7:
    Bounds: x1=16, y1=128, x2=133, y2=146
    Type: 6
    Info: 'Logical Falsity'
  8:
    Bounds: x1=16, y1=152, x2=122, y2=170
    Type: 6
    Info: 'Truth Table'
  9:
    Bounds: x1=180, y1=72, x2=212, y2=104
    Type: -128
    Info: ''

DITL_139_10+.txt
Items: (2 entries)
  0:
    Bounds: x1=108, y1=136, x2=166, y2=156
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=10, y1=12, x2=265, y2=129
    Type: -120
    Info: 'Having been used more than 10 times without being registered, Bertrand is beginning to feel exploited!  After this time, only Bertrand's Registration option will work.  See "Register.txt" for more information.'

DITL_138_PersonalizeDITL.txt
Items: (6 entries)
  0:
    Bounds: x1=290, y1=114, x2=348, y2=134
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=192, y1=114, x2=250, y2=134
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=20, y1=8, x2=411, y2=43
    Type: -120
    Info: 'Thank you for registering Bertrand!  To personalize your copy, enter your name and/or organization below.'
  3:
    Bounds: x1=14, y1=52, x2=399, y2=67
    Type: 16
    Info: ''
  4:
    Bounds: x1=14, y1=84, x2=400, y2=99
    Type: 16
    Info: ''
  5:
    Bounds: x1=54, y1=108, x2=86, y2=140
    Type: -128
    Info: ''

DITL_137_LicenseDITL.txt
Items: (3 entries)
  0:
    Bounds: x1=152, y1=80, x2=210, y2=100
    Type: 4
    Info: 'I Agree'
  1:
    Bounds: x1=58, y1=80, x2=116, y2=100
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=22, y1=12, x2=264, y2=66
    Type: -120
    Info: 'I have carefully read the license agreement that came with Bertrand and agree to all of its terms.'

DITL_136_5+.txt
Items: (2 entries)
  0:
    Bounds: x1=106, y1=96, x2=164, y2=116
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=10, y1=12, x2=262, y2=93
    Type: -120
    Info: 'Now that you've used Bertrand more than 5 times, don't you think it's time you registered the program?  Please read "Register.txt" for more information.'

DITL_135_AbortAlertDITL.txt
Items: (3 entries)
  0:
    Bounds: x1=175, y1=46, x2=235, y2=64
    Type: 4
    Info: 'Abort'
  1:
    Bounds: x1=71, y1=46, x2=127, y2=64
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=64, y1=6, x2=245, y2=34
    Type: -120
    Info: 'Abort tree... are you sure?'

DITL_134_SaveTableAlertDITL.txt
Items: (4 entries)
  0:
    Bounds: x1=182, y1=86, x2=255, y2=106
    Type: 4
    Info: 'Premise'
  1:
    Bounds: x1=36, y1=86, x2=94, y2=106
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=110, y1=86, x2=168, y2=106
    Type: 4
    Info: 'Table'
  3:
    Bounds: x1=62, y1=6, x2=278, y2=72
    Type: -120
    Info: 'Save premise only or entire truth table?'

DITL_133_QuitAlertDITL.txt
Items: (3 entries)
  0:
    Bounds: x1=156, y1=64, x2=216, y2=82
    Type: 4
    Info: 'Save'
  1:
    Bounds: x1=68, y1=64, x2=124, y2=82
    Type: 4
    Info: 'Quit'
  2:
    Bounds: x1=80, y1=4, x2=262, y2=52
    Type: -120
    Info: 'Save unsaved work before quitting?'

DITL_132_PreferencesDITL.txt
Items: (29 entries)
  0:
    Bounds: x1=354, y1=148, x2=412, y2=168
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=214, y1=148, x2=272, y2=168
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=284, y1=148, x2=342, y2=168
    Type: 4
    Info: 'Save'
  3:
    Bounds: x1=36, y1=6, x2=169, y2=22
    Type: -120
    Info: 'Window Font Sizes:'
  4:
    Bounds: x1=218, y1=56, x2=402, y2=74
    Type: -120
    Info: 'Margins (72nds of an inch):'
  5:
    Bounds: x1=220, y1=84, x2=255, y2=100
    Type: -120
    Info: 'Left:'
  6:
    Bounds: x1=306, y1=84, x2=346, y2=100
    Type: -120
    Info: 'Right:'
  7:
    Bounds: x1=220, y1=112, x2=249, y2=128
    Type: -120
    Info: 'Top:'
  8:
    Bounds: x1=306, y1=112, x2=360, y2=128
    Type: -120
    Info: 'Bottom:'
  9:
    Bounds: x1=264, y1=84, x2=294, y2=100
    Type: 16
    Info: '36'
  10:
    Bounds: x1=264, y1=112, x2=294, y2=128
    Type: 16
    Info: '72'
  11:
    Bounds: x1=368, y1=84, x2=398, y2=100
    Type: 16
    Info: '36'
  12:
    Bounds: x1=368, y1=112, x2=398, y2=128
    Type: 16
    Info: '72'
  13:
    Bounds: x1=184, y1=4, x2=199, y2=25
    Type: -128
    Info: ''
  14:
    Bounds: x1=16, y1=28, x2=59, y2=44
    Type: -120
    Info: 'Trees:'
  15:
    Bounds: x1=16, y1=52, x2=84, y2=69
    Type: -120
    Info: 'Tree Info:'
  16:
    Bounds: x1=16, y1=76, x2=125, y2=96
    Type: -120
    Info: 'Statement Info:'
  17:
    Bounds: x1=16, y1=100, x2=107, y2=117
    Type: -120
    Info: 'Assignments:'
  18:
    Bounds: x1=16, y1=124, x2=103, y2=140
    Type: -120
    Info: 'Truth Tables:'
  19:
    Bounds: x1=16, y1=148, x2=91, y2=164
    Type: -120
    Info: 'Table Info:'
  20:
    Bounds: x1=124, y1=28, x2=184, y2=48
    Type: 7
    Info: ' '
  21:
    Bounds: x1=124, y1=52, x2=184, y2=72
    Type: 7
    Info: ' ‚'
  22:
    Bounds: x1=124, y1=76, x2=184, y2=96
    Type: 7
    Info: ' ƒ'
  23:
    Bounds: x1=124, y1=100, x2=184, y2=120
    Type: 7
    Info: ' „'
  24:
    Bounds: x1=124, y1=124, x2=184, y2=144
    Type: 7
    Info: ' …'
  25:
    Bounds: x1=124, y1=148, x2=184, y2=168
    Type: 7
    Info: ' †'
  26:
    Bounds: x1=218, y1=28, x2=343, y2=47
    Type: -120
    Info: 'Header Font Size:'
  27:
    Bounds: x1=344, y1=28, x2=404, y2=48
    Type: 7
    Info: ' ‡'
  28:
    Bounds: x1=258, y1=6, x2=389, y2=23
    Type: -120
    Info: 'Printout Settings:'

DITL_131_CloseAlertDITL.txt
Items: (5 entries)
  0:
    Bounds: x1=230, y1=86, x2=303, y2=106
    Type: 4
    Info: 'Premises'
  1:
    Bounds: x1=86, y1=86, x2=144, y2=106
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=158, y1=86, x2=216, y2=106
    Type: 4
    Info: 'Tree'
  3:
    Bounds: x1=80, y1=6, x2=296, y2=72
    Type: -120
    Info: 'Save premises or entire tree before closing?'
  4:
    Bounds: x1=12, y1=86, x2=70, y2=106
    Type: 4
    Info: 'Discard'

DITL_130_RegDITL.txt
Items: (9 entries)
  0:
    Bounds: x1=166, y1=138, x2=224, y2=158
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=70, y1=138, x2=128, y2=158
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=74, y1=50, x2=176, y2=66
    Type: 16
    Info: ''
  3:
    Bounds: x1=28, y1=6, x2=287, y2=42
    Type: -120
    Info: 'Please enter your registration code toactivate all of Bertrand's features.'
  4:
    Bounds: x1=28, y1=78, x2=311, y2=128
    Type: -120
    Info: '(Information on how to obtain yourregistration code can be found in the"Read Me" file that came with Bertrand.)'
  5:
    Bounds: x1=28, y1=50, x2=67, y2=66
    Type: -120
    Info: 'Code:'
  6:
    Bounds: x1=186, y1=50, x2=221, y2=66
    Type: -120
    Info: 'ID #:'
  7:
    Bounds: x1=18, y1=130, x2=46, y2=157
    Type: -128
    Info: ''
  8:
    Bounds: x1=218, y1=50, x2=294, y2=66
    Type: -120
    Info: '00000000'

DITL_129_SaveAlertDITL.txt
Items: (4 entries)
  0:
    Bounds: x1=182, y1=86, x2=255, y2=106
    Type: 4
    Info: 'Premises'
  1:
    Bounds: x1=36, y1=86, x2=94, y2=106
    Type: 4
    Info: 'Cancel'
  2:
    Bounds: x1=110, y1=86, x2=168, y2=106
    Type: 4
    Info: 'Tree'
  3:
    Bounds: x1=62, y1=6, x2=278, y2=72
    Type: -120
    Info: 'Save premises only or entire tree?'

DITL_128_AlertDITL.txt
Items: (2 entries)
  0:
    Bounds: x1=116, y1=84, x2=176, y2=104
    Type: 4
    Info: 'Okay'
  1:
    Bounds: x1=67, y1=5, x2=283, y2=71
    Type: 8
    Info: '^0'